Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
731	Advanced technologies to support big data processing Scalable Processing of Geo-tagged Data in the Cloud Martin Bauer, Dan Dobre, Nuno Santos, Mischa Schmidt Abstract The explosive growth of the mobile internet calls fo Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:04:40 Fault-tolerant computer systems System administration Transaction processing Formal sciences Parallel computing Scalability Apache Hadoop Data mining Computer cluster Computing Concurrent computing Technology
732	Verification and Design Exploration through Meta Tool Integration with OpenModelica Zsolt Lattmann2, Adrian Pop1, Johan de Kleer3, Peter Fritzson1, Bill Janssen3, Sandeep Neema2, Ted Bapty2, Xenofon Koutsoukos2, Matthew Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2014-03-27 08:06:24 Simulation software Computing Modelica Systems engineering Reliability engineering Formal verification Dymola Functional Mock-up Interface Object-oriented programming Software engineering Application software
733	Justin Clarke-Doane Monash University [Note: This is the penultimate draft of a paper that is forthcoming in Noûs.] Moral Epistemology: The Mathematics Analogy* Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2013-11-20 08:40:44 Branches of philosophy Mathematical logic Formal systems Meta-ethics Philosophical logic Philosophy of mathematics Self-evidence Axiom Mathematical proof Mathematics Logic Philosophy
734	Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field’s (1932) “The Place of Definition in Ethics”, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual issue of t Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2015-02-03 21:55:01 Set theory Proof theory Formal systems Z notation Axiom of choice Axiom Truth Theory Class Mathematical logic Logic Mathematics
735	Remarks for Special Issue on Big Data On behalf of NEC, I would first like to express our deep gratitude for your continued support and encouragement for our products, solutions and services. In this special issue of NEC Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:03:39 Formal sciences Database theory Computing Emerging technologies Mitsui NEC Data mining Big data Database Technology Data management Database management systems
736	General Explanation of Special Issue NEC IT Infrastructure Transforms Big Data into New Value In step with rapid spread and adoption of the Internet and ICT in recent Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:03:44 Database management systems Computing Business intelligence Database theory Data mining Big data Data warehouse In-Memory Processing Geographic information system Technology Data management Formal sciences
737	Emperors, dragons, and other mathematicalia Wolfgang Schwarz 02 February 2005 Abstract. One of the most intriguing applications of possibilia is the reduction of mathematical truths. I argue that this is no Add to Reading List Source URL: www.umsu.de Language: English Elementary mathematics Z notation Model theory Formal systems Peano axioms Axiom Philosophy of mathematics Gottlob Frege Logicism Mathematics Mathematical logic Logic
738	The Data Lake: Taking Big Data Beyond the Cloud Add to Reading List Source URL: www.boozallen.com Language: English - Date: 2015-01-09 02:43:33 Formal sciences Science Database management systems Database theory Information technology management Data analysis Big data Data mining Data warehouse Data management Business intelligence Technology
739	Reliability of Technical Systems Advanced Methods for Systems Modelling and Simulation I : Petri Nets Petri Nets - Overview  Introduction Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-11-25 08:50:54 Formal methods Petri nets Computer science Software engineering Algebraic Petri nets Event-driven Petri net Models of computation Concurrency Diagrams
740	Justin Clarke-Doane University of Birmingham Monash University [This is a corrected version of an article which appears in Noûs, Vol. 47.] Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2014-07-29 01:53:21 Proof theory Model theory Formal systems Continuum hypothesis Forcing Zermelo–Fraenkel set theory Conjecture Axiom Kurt Gödel Mathematical logic Logic Mathematics

UPDATE